∂04-JUN-73  1203		FOO,DBA
 BRUCE CAN'T COME ON THURSDAY (GIVING SEMINAR AT BERKELEY) SO MEETING
 IS PUT OFF UNLESS OTHERS VERY KEEN TO GO.  ONLY YAW AND AJT HAVE
 SAID OK SO FAR.  SEND ME YOUR VIEWS.
 
∂03-JUN-73  1726		FOO,DBA
 U-LZR!  WHO ISN'T SOCIALLY REDEEMING: ME OR RUZENA?
 
∂02-JUN-73  1523		1,RKN
 Ted adjusted timings on 167. The parity error problem is still present.
 D. Poole does not wish to get involved with it directly, but is willing
 to help Ted. Ted says he is going to look into it more. I expect any
 progress to come slowly. 
 							Ram.
 
 
∂01-JUN-73  1220		FOO,DBA
 Next meeting scheduled for 2pm Thursday 7 June at the Trident Sausalito.
 Please confirm/excuse/suggest different meeting place IMMEDIATELY. 
 Otherwise I will put the coffee filter into ORBIT!
 
∂01-JUN-73  0332		1,RKN
 The parity error problem is being worked on by Ted, with co-operation from 
 D.Poole. We should know the effectiveness of the fixes today.
 							Ram.
 
 
∂31-MAY-73  1125		FOO,DBA
 LAST MEETING OF CS320 OUTSIDE POLYA 3.45 MONDAY JUNE 4
 *** WARREN TEITELMAN WILL TALK ON FUTURE PLANS FOR BBN-LISP,
 AND ANSWER YOUR PROBING QUESTIONS!  (WOT NO DATA STRUCTURES ETC)
 
∂30-MAY-73  1645		1,YAW
 BRAND NEW STUPID STORY:
 I HAVE A NICE DOG AND A SLIMY SNAKE.MY DOG HAS WHITE FURRY EARS.ALL
 MAMMALS HAVE EARS BUT MY SNAKE HAS NO EARS.SO IT IS A MAMMAL TOO.I CALL
 IT HORACE.
 
 Only "intuitively incorrect" answer is consistent with information given.
 Since "intuitively correct"implicit answer is deductively excluded.In this version there are no trivial inferences
 and no need to downgrade any given fact.But it is still an assumption that the two "it"s have
 the same referent.
 Y.
 
∂30-MAY-73  1638		1,YAW
 Sorry Tom,Ive made a new mistake----dont answer the last,new story follows sometime!!!!
 
∂30-MAY-73  1630		1,YAW
 No,Im trying to skirt the issue you mention in order to concentrate on another.
 In the example,as set up,it doesnt question or "delete" any assertion given to
 it.And what I mean by inference system here is simply a deducive one that accepts
 ITS OWN valid inferences ,and not any invalid ones it might make.Thus,it considers
 both IMPLICIT assertions:(1)The dog is a mammal,(2)The snake is a mammal.(neither of
 of these are made in the story).(1)is excluded by the information it already
 has,plus its deductie principle (A→B)→(¬B→¬A).(2) is given as the product of a false inference,but is still
 CONSISTENT with its information.I may still have stated the example infelicitously,in that now the error comitted
 by the story's author is irrelevant to the analysis.
 Yorick
 
∂30-MAY-73  1612		1,YAW
 I have a nice white dog.All mammals have ears you know,but my poor dg has
 no ears.I also have a snake with ears.It is therefore a mammal too,and I call
 it Horace.